Mathematical Tripos - PDFSEARCH.IO - Document Search Engine

Mathematical Tripos
Results: 75

#	Item
11	COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple, Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Mathematical logic Logic in computer science Substructural logic Hoare logic Logic Separation logic Hoare Correctness Predicate transformer semantics Program logic Theoretical computer science Mathematics
12	Dynamics and Relativity Professor Gordon Ogilvie Mathematical Tripos, Part IA Lent Term 2015 Example Sheet 2 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2015-01-30 18:37:05 Physical quantities Force Polar coordinate system Angular momentum Circular orbit Equations of motion Laplace–Runge–Lenz vector Orbit Angular velocity Physics Classical mechanics Rotation
13	P2f/B24 Mathematical Tripos Part IB FLUID DYNAMICS (P2) N. G. Berloff Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-03-14 05:17:02 Physics Viscosity Vortex Stokes boundary layer Fluid dynamics Dynamics Fluid mechanics
14	An Institute of Physics report \| JulyMind the Gap Mathematics and the transition from A-levels to physics and engineering degrees Appendix to the report prepared for the Institute of Physics by EdComs – full met Add to Reading List Source URL: www.iop.org Language: English - Date: 2015-04-07 09:35:04 Classe préparatoire aux grandes écoles Differential equation Pakistani Muslims Engineering Pakistani people MIT Physics Department Cambridge Mathematical Tripos Mathematics Institute of Physics Physics
15	Tripos Questions in Optimization and ControlA policy π is to be chosen to maximize " Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2007-03-15 06:29:51 Cybernetics Mathematical analysis Ordinary differential equations Control theory Mathematical optimization Optimal control Systems theory
16	MATHEMATICAL TRIPOS: PART II Michaelmas Term 2014 OPTIMIZATION AND CONTROL Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2014-11-10 12:53:27 Wave equation Optimal control Normal distribution Markov decision process Heat equation Spectral theory of ordinary differential equations Mathematical analysis Calculus Statistics
17	An Institute of Physics report \| JulyMind the Gap Mathematics and the transition from A-levels to physics and engineering degrees A report prepared for the Institute of Physics by EdComs Add to Reading List Source URL: www.iop.org Language: English - Date: 2015-04-07 09:35:03 Institute of Physics Science and technology in the United Kingdom Mathematics GCE Advanced Level MIT Physics Department Cambridge Mathematical Tripos Education Mathematics education Knowledge
18	PDF Document Add to Reading List Source URL: www.admin.cam.ac.uk Language: English - Date: 2011-09-29 05:50:14 Titles Higher education Mathematics education Master of Philosophy Doctor of Philosophy Part III of the Mathematical Tripos Tripos Professor Doctorate Education Academia Knowledge
19	Information Theory and Coding Computer Science Tripos Part II, Michaelmas Term 11 Lectures by J G Daugman 1. Foundations: Probability, Uncertainty, and Information 2. Entropies Defined, and Why they are Measures of Infor Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-10-20 07:18:56 Mathematical analysis Statistical theory Digital signal processing Fourier analysis Unitary operators Entropy Principle of maximum entropy Mutual information Noisy-channel coding theorem Statistics Information theory Mathematics
20	MATHEMATICAL TRIPOS, PART IB Add to Reading List Source URL: www.maths.cam.ac.uk Language: English - Date: 2015-04-20 06:52:33 Cal Tripos Knowledge Academia Mathematics education Cambridge Mathematical Tripos Education

UPDATE